\frame[containsverbatim]
{
  \frametitle{Testing LockCountAnalysis/Dataflow}
  \B
  \item Build/install plugin
  \item cd to {\tt bin/net/findbugs/demo/testcode} subdirectory
  \item Execute command:
{\scriptsize
\begin{verbatim}
findbugs -textui -visitors TestDataflowAnalysis \
  -Ddataflow.classname=net.findbugs.demo.analysis.LockCountDataflow \
  -Ddataflow.printcfg=true \
  TestISYNC.class
\end{verbatim}
}
  \item Executes LockCountAnalysis/Dataflow on each method of specified test class,
        prints control flow graphs annotated with dataflow values
  \E
}
